DEVRIESE, DOMINIQUE: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Proof-relevant unification: Dependent pattern matching with only the axioms of your type theory

COCKX, JESPER, DEVRIESE, DOMINIQUE

Journal:

Journal of Functional Programming

Year:

2018

Language:

english

File:

PDF, 1.47 MB

english, 2018

2

Typed syntactic meta-programming

Devriese, Dominique, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

3

[IEEE 2011 5th International Conference on Network and System Security (NSS) - Milan, Italy (2011.09.6-2011.09.8)] 2011 5th International Conference on Network and System Security - Reactive non-interference for a browser model

Bielova, Nataliia, Devriese, Dominique, Massacci, Fabio, Piessens, Frank

Year:

2011

Language:

english

File:

PDF, 562 KB

english, 2011

4

[ACM Press Conference Companion of the 2nd International Conference - Nice, France (2018.04.09-2018.04.12)] Conference Companion of the 2nd International Conference on Art, Science, and Engineering of Programming - Programming'18 Companion - Scalagna 0.1: towards multi-tier programming with Scala and Scala.js

Reynders, Bob, Greefs, Michael, Devriese, Dominique, Piessens, Frank

Year:

2018

Language:

english

File:

PDF, 543 KB

english, 2018

5

[ACM Press the 11th ACM SIGPLAN International Symposium - St. Louis, MO, USA (2018.09.27-2018.09.28)] Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell - Haskell 2018 - Coherent explicit dictionary application for Haskell

Winant, Thomas, Devriese, Dominique

Year:

2018

Language:

english

File:

PDF, 803 KB

english, 2018

6

[ACM Press the 12th ACM SIGPLAN International Symposium - Berlin, Germany (2019.08.22-2019.08.23)] Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell - Haskell 2019 - Modular effects in Haskell through effect polymorphism and explicit dictionary applications: a new approach and the μVeriFast verifier as a case study

Devriese, Dominique

Year:

2019

Language:

english

File:

PDF, 639 KB

english, 2019

7

Leibniz equality is isomorphic to Martin-LÃ¶f identity, parametrically

ABEL, ANDREAS, COCKX, JESPER, DEVRIESE, DOMINIQUE, TIMANY, AMIN, WADLER, PHILIP

Journal:

Journal of Functional Programming

Year:

2020

File:

PDF, 195 KB

2020

8

Phenotypic identification and differentiation of Lactococcus strains isolated from animals

Bruno Pot, Luc A. Devriese, Dominiques Ursi, Peter Vandamme, Freddy Haesebrouck, Karel Kersters

Journal:

Systematic and Applied Microbiology

Year:

1996

Language:

english

File:

PDF, 1.27 MB

english, 1996

9

[ACM Press the 2012 ACM conference - Raleigh, North Carolina, USA (2012.10.16-2012.10.18)] Proceedings of the 2012 ACM conference on Computer and communications security - CCS '12 - FlowFox

De Groef, Willem, Devriese, Dominique, Nikiforakis, Nick, Piessens, Frank

Year:

2012

Language:

english

File:

PDF, 616 KB

english, 2012

10

[IEEE 2012 International Conference on Privacy, Security, Risk and Trust (PASSAT) - Amsterdam, Netherlands (2012.09.3-2012.09.5)] 2012 International Conference on Privacy, Security, Risk and Trust and 2012 International Confernece on Social Computing - PESAP: A Privacy Enhanced Social Application Platform

Reynaert, Tom, De Groef, Willem, Devriese, Dominique, Desmet, Lieven, Piessens, Frank

Year:

2012

Language:

english

File:

PDF, 441 KB

english, 2012

11

[IEEE 2010 IEEE Symposium on Security and Privacy - Oakland, CA, USA (2010.05.16-2010.05.19)] 2010 IEEE Symposium on Security and Privacy - Noninterference through Secure Multi-execution

Devriese, Dominique, Piessens, Frank

Year:

2010

Language:

english

File:

PDF, 278 KB

english, 2010

12

Cardioverter‐Lead Electrode Infection Due to Corynebacterium amycolatum

Vaneechoutte, Mario, De Bleser, Dominique, Claeys, Geert, Verschraegen, Gerda, De Baere, Thierry, Hommez, Jozef, Devriese, Luc A., Riegel, Philippe

Journal:

Clinical Infectious Diseases

Year:

1998

Language:

english

File:

PDF, 219 KB

english, 1998

13

[ACM Press the 2014 ACM International Symposium - Portland, Oregon, USA (2014.10.20-2014.10.24)] Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software - Onward! '14 - Multi-Tier Functional Reactive Programming for the Web

Reynders, Bob, Devriese, Dominique, Piessens, Frank

Year:

2014

Language:

english

File:

PDF, 870 KB

english, 2014

14

Finally tagless observable recursion for an abstract grammar model

DEVRIESE, DOMINIQUE, PIESSENS, FRANK

Journal:

Journal of Functional Programming

Year:

2012

Language:

english

File:

PDF, 436 KB

english, 2012

15

[ACM Press the ACM SIGPLAN 2013 workshop - Rome, Italy (2013.01.21-2013.01.21)] Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and program manipulation - PEPM '13 - Fixing idioms

Devriese, Dominique, Sergey, Ilya, Clarke, Dave, Piessens, Frank

Year:

2013

Language:

english

File:

PDF, 656 KB

english, 2013

16

[ACM Press the 19th ACM SIGPLAN international conference - Gothenburg, Sweden (2014.09.01-2014.09.06)] Proceedings of the 19th ACM SIGPLAN international conference on Functional programming - ICFP '14 - Pattern matching without K

Cockx, Jesper, Devriese, Dominique, Piessens, Frank

Year:

2014

Language:

english

File:

PDF, 701 KB

english, 2014

17

[ACM Press the 7th ACM SIGPLAN workshop - Austin, Texas, USA (2011.01.25-2011.01.25)] Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation - TLDI '11 - Information flow enforcement in monadic libraries

Devriese, Dominique, Piessens, Frank

Year:

2011

Language:

english

File:

PDF, 598 KB

english, 2011

18

[ACM Press Proceeding of the 16th ACM SIGPLAN international conference - Tokyo, Japan (2011.09.19-2011.09.21)] Proceeding of the 16th ACM SIGPLAN international conference on Functional programming - ICFP '11 - On the bright side of type classes

Devriese, Dominique, Piessens, Frank

Year:

2011

Language:

english

File:

PDF, 532 KB

english, 2011

19

[ACM Press the 18th ACM SIGPLAN international conference - Boston, Massachusetts, USA (2013.09.25-2013.09.27)] Proceedings of the 18th ACM SIGPLAN international conference on Functional programming - ICFP '13 - Typed syntactic meta-programming

Devriese, Dominique, Piessens, Frank

Year:

2013

Language:

english

File:

PDF, 615 KB

english, 2013

20

[ACM Press the 34th ACM SIGPLAN conference - Seattle, Washington, USA (2013.06.16-2013.06.19)] Proceedings of the 34th ACM SIGPLAN conference on Programming language design and implementation - PLDI '13 - Monadic abstract interpreters

Sergey, Ilya, Devriese, Dominique, Might, Matthew, Midtgaard, Jan, Darais, David, Clarke, Dave, Piessens, Frank

Year:

2013

Language:

english

File:

PDF, 528 KB

english, 2013

21

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2014 - Denver, Colorado (26 October to 31 October)] SEG Technical Program Expanded Abstracts 2014 - Multi-EM systems inversion - Towards a common conductivity model for the Tli Kwi Cho complex

Fournier*, Dominique, Heagy, Lindsey, Corcoran, Nate, Cowan, Devin, Devriese, Sarah G. R., Bild-Enkin, Daniel, Davis, Kristofer, Kang, Seogi, Marchant, Dave, McMillan, Michael S., Mitchell, Michael, R

Language:

english

File:

PDF, 2.71 MB

english

22

[ACM Press the 2015 ACM SIGPLAN International Conference - Pittsburgh, PA, USA (2015.10.26-2015.10.27)] Proceedings of the 2015 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences - GPCE 2015 - Generating safe boundary APIs between typed EDSLs and their environments

Reynders, Bob, Devriese, Dominique, Piessens, Frank

Year:

2015

Language:

english

File:

PDF, 293 KB

english, 2015

23

[IEEE 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Saarbrucken, Germany (2016.3.21-2016.3.24)] 2016 IEEE European Symposium on Security and Privacy (EuroS&P) - Reasoning about Object Capabilities with Logical Relations and Effect Parametricity

Devriese, Dominique, Birkedal, Lars, Piessens, Frank

Year:

2016

Language:

english

File:

PDF, 381 KB

english, 2016

24

On the bright side of type classes

Devriese, Dominique, Piessens, Frank

Journal:

ACM SIGPLAN Notices

Year:

2011

Language:

english

File:

PDF, 532 KB

english, 2011

25

Cardioverter-Lead Electrode Infection Due to Corynebacterium amycolatum

Mario Vaneechoutte, Dominique De Bleser, Geert Claeys, Gerda Verschraegen, Thierry De Baere, Jozef Hommez, Luc A. Devriese and Philippe Riegel

Journal:

Clinical Infectious Diseases

Year:

1998

Language:

english

File:

PDF, 304 KB

english, 1998

26

[IEEE 2016 IEEE Cybersecurity Development (SecDev) - Boston, MA, USA (2016.11.3-2016.11.4)] 2016 IEEE Cybersecurity Development (SecDev) - Security Guarantees for the Execution Infrastructure of Software Applications

Piessens, Frank, Devriese, Dominique, Muhlberg, Jan Tobias, Strackx, Raoul

Year:

2016

Language:

english

File:

PDF, 161 KB

english, 2016

27

[Society of Exploration Geophysicists SEG Technical Program Expanded Abstracts 2014 - Denver, Colorado (26 October to 31 October)] SEG Technical Program Expanded Abstracts 2014 - Magnetic inversion of three airborne data sets over the Tli Kwi Cho kimberlite complex

Devriese*, Sarah G. R., Corcoran, Nate, Cowan, Devin, Davis, Kristofer, Bild-Enkin, Daniel, Fournier, Dominique, Heagy, Lindsey, Kang, Seogi, Marchant, Dave, McMillan, Michael S., Mitchell, Michael, R

Language:

english

File:

PDF, 1.71 MB

english

28

[ACM Press the 6th ACM SIGPLAN Conference - Paris, France (2017.01.16-2017.01.17)] Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs - CPP 2017 - Lifting proof-relevant unification to higher dimensions

Cockx, Jesper, Devriese, Dominique

Year:

2017

Language:

english

File:

PDF, 204 KB

english, 2017

29

[IEEE 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - Lisbon, Portugal (2016.6.27-2016.7.1)] 2016 IEEE 29th Computer Security Foundations Symposium (CSF) - On Modular and Fully-Abstract Compilation

Patrignani, Marco, Devriese, Dominique, Piessens, Frank

Year:

2016

Language:

english

File:

PDF, 478 KB

english, 2016

30

Potential field signatures along the Zagros collision zone in Iran

Abedi, Maysam, Fournier, Dominique, Devriese, Sarah, Oldenburg, Douglas W.

Journal:

Year:

2017

Language:

english

File:

PDF, 5.69 MB

english, 2017

31

Eliminating dependent pattern matching without K

COCKX, JESPER, DEVRIESE, DOMINIQUE, PIESSENS, FRANK

Journal:

Journal of Functional Programming

Year:

2016

Language:

english

File:

PDF, 883 KB

english, 2016

32

[ACM Press the 19th International Symposium - Namur, Belgium (2017.10.09-2017.10.11)] Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming - PPDP '17 - Expressive and strongly type-safe code generation

Winant, Thomas, Cockx, Jesper, Devriese, Dominique

Year:

2017

Language:

english

File:

PDF, 897 KB

english, 2017

33

Integrated inversion of airborne geophysics over a structural geological unit: A case study for delineation of a porphyry copper zone in Iran

Abedi, Maysam, Fournier, Dominique, Devriese, Sarah G.R., Oldenburg, Douglas W.

Journal:

Journal of Applied Geophysics

Year:

2018

Language:

english

File:

PDF, 4.82 MB

english, 2018

34

[ACM Press the 33rd Annual ACM/IEEE Symposium - Oxford, United Kingdom (2018.07.09-2018.07.12)] Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18 - Degrees of Relatedness

Nuyts, Andreas, Devriese, Dominique

Year:

2018

Language:

english

File:

PDF, 918 KB

english, 2018

35

Parametric quantifiers for dependent type theory

Nuyts, Andreas, Vezzosi, Andrea, Devriese, Dominique

Journal:

Proceedings of the ACM on Programming Languages

Year:

2017

Language:

english

File:

PDF, 468 KB

english, 2017

36

Linear capabilities for fully abstract compilation of separation-logic-verified code

Van Strydonck, Thomas, Piessens, Frank, Devriese, Dominique

Journal:

Proceedings of the ACM on Programming Languages

Year:

2019

Language:

english

File:

PDF, 464 KB

english, 2019